https://serokell.io/blog/incomplete-and-utter-introduction-to-modal-logic